Inhalt des Dokuments

Bachelor

Implementierung eines Checkers zum Nachweis der Korrektheit von Refactorings auf diskreten und kontinuierlichen Simulink Modellen

Montag, 26. September 2016

Erstgutachter/in: Prof. Dr. rer. nat. Glesner
Zweitgutachter/in: Prof. Dr.-Ing. Nestmann

Basler, Johannes Fabian

---